退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于有限近似双模拟的标记马尔可夫过程的概率模型检验
Ro Abate; Marta Kwiatkowska; Gethin Norman; David Parker;
机译:一般状态空间马尔可夫过程的基于概率双模拟的近似度量
机译:马尔可夫链模型检查中的向后双向仿真
机译:从暂态分析到马尔可夫再生过程的概率模型检验
机译:通过概率检查可以大致保证安全性。
机译:概率基因调控网络模型检验的最佳有限水平控制模型
机译:隐马尔可夫模型(HMM)逼近有限换能器及其在文本标记中的应用
机译:有限状态换能器近似隐藏马尔可夫模型(HMM)和使用相同标记进行文本标记
机译:近似隐马尔可夫模型的有限状态传感器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。